typedef OnTypedef<T, T> = Int;